extension-tool: Use socket.gethostname() instead of an external process

Minor code cleanup.

https://bugzilla.gnome.org/show_bug.cgi?id=653206

diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in
index 578fe2de4440df252c24017e7abe4d7dd3e3be45..0dcbf9bea08608d37a6a738c340bb2b31455353c 100644 (file)
--- a/src/gnome-shell-extension-tool.in
+++ b/src/gnome-shell-extension-tool.in
@@ -3,6 +3,7 @@
 
 import os
 import re
+import socket
 import subprocess
 import sys
 import optparse
@@ -41,7 +42,7 @@ Examples are: "Make windows visible on click", "Block advertisement popups"
     underifier = re.compile('[^A-Za-z]')
     sample_uuid = underifier.sub('_', name)
     # TODO use evolution data server
-    hostname = subprocess.Popen(['hostname'], stdout=subprocess.PIPE).communicate()[0].strip()
+    hostname = socket.gethostname()
     sample_uuid = sample_uuid + '@' + hostname
 
     print